1. Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
پدیدآورنده : edited by Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
27
2. Proof theory: an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory
رده :
QA
3
.
L28
no
.
1407
3. Proof theory :an introduction
پدیدآورنده : Pohlers, Wolfram.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory
رده :
QA3
.
L28
no
.
1407
4. Proof theory: the first step into impredicativity
پدیدآورنده : Pohlers, Wolfram
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
P64
2008
